Static program analysis - PDFSEARCH.IO - Document Search Engine

Static program analysis
Results: 262

#	Item
21	Advanced Science and Technology Letters Vol.93 (Security, Reliability and Safety 2015), pp.5-8 http://dx.doi.orgastlA Software Weakness Analysis Technique for Secure Software Add to Reading List Source URL: onlinepresent.org Language: English - Date: 2015-04-19 22:44:46 Computing Software testing Software engineering Software quality Common Weakness Enumeration Vulnerability Coverity Analysis Fortify Software Application security LDRA Testbed Static program analysis
22	Let tests drive or let Dijkstra derive? Presented at ALE2014 in Krakow Poland on August 21, 2014 Author: Sander Kooijmans Date: November 3, 2014 Why this document? Add to Reading List Source URL: www.gogognome.nl Language: English - Date: 2016-04-05 02:15:07 Formal methods Theoretical computer science Software engineering Mathematics Hoare logic Static program analysis Algorithm Precondition Predicate transformer semantics Loop invariant
23	Program Analysis and Specialization for the C Programming Language Ph.D. Thesis Lars Ole Andersen Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:01 Software engineering Programming language theory Computing Data types University of Copenhagen Static program analysis Procedural programming languages Pointer TOPPS UCPH Department of Computer Science Const Alias analysis
24	Collaborative Security Code-Review Towards Aiding Developers Ensure Software-Security Hala Assal∗, Jeff Wilson, Sonia Chiasson, and Robert Biddle School of Computer Science Carleton University Ottawa, Canada Add to Reading List Source URL: cups.cs.cmu.edu Language: English - Date: 2015-07-03 02:38:45 Software engineering Software Quality management Software testing Software review Quality assurance Hacking Vulnerability Code review Coverity Static program analysis FindBugs
25	All-Termination(T )? Panagiotis Manolios and Aaron Turon Northeastern University {pete,turon}@ccs.neu.edu Abstract. We introduce the All-Termination(T ) problem: given a termination solver T and a collection of functions Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2010-01-10 16:47:25 Mathematical analysis Mathematics Analysis Functions and mappings Static program analysis Termination analysis Limit of a function IP Well-founded relation Measure theory Computability theory Inequalities
26	SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionFebruary 2016) Contents Add to Reading List Source URL: types.cs.washington.edu Language: English - Date: 2016-02-03 15:21:41 Software Computing Smartphones Java Archive formats Alphabet Inc. Android App store Type system Apache Ant Java annotation JAR
27	Safe MDE concerns Certification and Qualification Application to Code generation tools Application to Static analysis tools Certification and qualification concerns in the Add to Reading List Source URL: d3s.mff.cuni.cz Language: English - Date: 2010-08-20 05:35:01 Software engineering Computing Systems engineering Architecture description language Software architecture Systems architecture Software testing Architecture Analysis & Design Language Programming tool Static program analysis SIGNAL Abstract interpretation
28	Ar Abstract Many current program analyses require highly precise pointer information about small, targeted parts of a given program. This motivates the need for demand-driven pointer analyses that compute information on Add to Reading List Source URL: www.bodden.de Language: English - Date: 2016-05-18 17:46:26 Graph theory Discrete mathematics Mathematics Static program analysis Compiler optimizations Graph Flow network Call graph Pointer Static single assignment form Directed graph
29	User Manual Frama-C User Manual Release AluminiumLoïc Correnson, Pascal Cuoq, Florent Kirchner, André Maroneze, Virgile Prevosto, Armand Add to Reading List Source URL: frama-c.com Language: English - Date: 2016-06-01 04:33:33 Software Computing Frama-C Program analysis Static program analysis
30	Cost-Benefit Analysis of the Anchorage Youth Court Prepared for: Anchorage Youth Court Add to Reading List Source URL: static.secure.website Language: English - Date: 2016-05-24 14:48:27 Criminal law Criminal justice Applied ethics Crime Teen court Diversion program Anchorage Alaska Alaska Division of Juvenile Justice Restorative justice Juvenile court Judiciary of Alaska Probation